formalized computer

[网络] 形式化计算机

热门查询

waxwing　　n. 连雀
wardship　　n. 监护，保护
smug　　n. 书呆子；自命不凡的家伙 adj. 自鸣得意的；自以为是的；整洁的
mate　　n. 助手，大副；配偶；同事；配对物 vt. 使配对；使一致；结伴 vi. 交配；成配偶；紧密配合 n. (Mate)人名；(日)蛏(姓)；(西、意、塞)马特；(波黑)马特；(罗、俄)马泰
know-how　　n. 诀窍；实际知识；专门技能
scouting　　n. 童子军的活动；初步勘探；搜索活动 v. 侦察，刺探；寻找；物色（人才等）（scout的ing形式）
impressionist　　n. 印象主义者；印象派作家
Manichaean　　adj. 摩尼教的；摩尼教徒的 n. 摩尼教徒；二元论者（等于Manichean）
persiflage　　n. 挖苦；嘲弄；戏谑
ascension　　n. 上升；耶稣升天 n. (Ascension)人名；(西)阿森西翁
peng　　n. 执业工程师；压电纳米器件 n. (Peng)人名；(柬)奔
seltzer　　n. 德国赛尔脱兹的天然汽泡矿泉水；苏打水
Hammett　　哈米特
blatant　　adj. 喧嚣的；公然的；炫耀的；俗丽的
expansionism　　n. 扩张主义；扩张政策；膨胀主义
fertilize　　vt. 使受精；使肥沃
this　　adj. 这；本；这个；今 pron. 这；这个；这里 adv. 这样地；这么 n. (This)人名；(法)蒂斯
bracket　　n. 支架；括号；墙上凸出的托架 vt. 括在一起；把…归入同一类；排除
mortar　　n. 迫击炮；臼，研钵；灰浆 vt. 用灰泥涂抹，用灰泥结合
horses　　n. 马；马匹（horse的复数形式） v. 骑马；捉弄（horse的第三人称单数形式）